861. Theory of computational complexity
پدیدآورنده : Du, Dingzhu, 8491-
کتابخانه: (طهران)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
D82T45
862. Theory of computational complexity
پدیدآورنده : Ding-Zhu Du, Ker-I Ko,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computational complexity
رده :
QA
.
D8
267
.
7
2000
863. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computational complexity.
رده :
QA267
.
7
.
D8
2014
864. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computational complexity
رده :
QA267
.
7
.
D8
2000
865. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computational complexity
رده :
QA267
.
7
.
D8
2000
866. Theory of computational complexity
پدیدآورنده : Du, Dingzhu.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
D8
2000
867. Theory of computional complexity
پدیدآورنده : Ding-Zhu Du, Ker-Iko
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Computational complexity
868. Think complexity
پدیدآورنده : by Allen B. Downey
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Python (Computer program language)
رده :
QA76
.
73
.
P98
.
D69
2012
869. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
870. Thinking about G?�del and Turing
پدیدآورنده : / Gregory J Chaitim
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
رده :
QA
,
9
.
65
,.
C43
,
2007
871. Time warps, String edits, and macromolecules: The theory and practice of sequence comparison
پدیدآورنده : edited by David Sankoff and Joseph B. Kruskal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1983
872. Time warps, string edits, and macromolecules
پدیدآورنده : ]edited by[ David Sankoff and Joseph B. Kruskal; introduction by John Nerbonne
کتابخانه: (طهران)
موضوع : ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1999
873. Topics in Cryptology -- CT-RSA 2006
پدیدآورنده : edited by David Pointcheval.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer networks.,Computer software.,Data encryption (Computer science),Information networks.,Operating systems (Computers)
874. Topics in engineering mathematics :
پدیدآورنده : edited by Adriaan van der Burgh and Juriaan Simonis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Mathematical optimization.,Mathematics.
875. #Topics in the general theory of structures
پدیدآورنده : #edited by E.R. Caianiello and M.A. Aizerman
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : System analysis ،Computational complexity
رده :
#
QA
،#.
T65
876. Topics in the theory of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
877. Topics in the theory of computation :
پدیدآورنده : edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
878. Topics in the theory of computation
پدیدآورنده : / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
رده :
QA
,
267
,.
I56
,
1983
879. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
880. Tractable reasoning in artificial intelligence
پدیدآورنده : / Marco Cadoli
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Artificial intelligence.,Reasoning--Data processing,Computational complexity.,Approximation theory.
رده :
Q
,
335
,.
C23
,
1995